Some Heuristics for Generating Tree-like FBDD Types

| Reduced ordered binary decision diagrams (OBDDs) are nowadays the state-of-the-art representation scheme for Boolean functions in Boolean manipulation. Recent results have shown that it is possible to use the more general concept of free binary decision diagrams (FBDDs) without giving up most of the useful computational properties of OBDDs, but possibly reducing the space requirements considerably. The amount of space reduction depends essentially on the shape of so{ called FBDD{types the Boolean manipulation in terms of FBDDs is based on. In this paper we start to propose some heuris-tics for deriving tree-like FBDD{types from given circuit descriptions. The experimental results we obtained demonstrate clearly that the FBDD{ap-proach is not only of theoretical interest but also of practical usefulness even in the case of using merely such simple{structured tree{based FBDD{ types as produced by the investigated heuristics.